perm filename AMSX10.360[360,GF] blob sn#784689 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  HD"⊂⊃β↓%0¬∃A%(¬U!E(ε∃`λβU`λβU`λβT`pλ∧∀``_βT@p_∧∀@p_∧∀@p_∧∀ p(∧∀ p(∧∀ p(∧∀p8∧∀p8∧∪a8∧S`pH∧∪`pH∧∪C$p
∪#Dh∞∪#D`∧β!∀`βCa∧`βCa∧X∧βa∀XβD!∧P∧∧!∀PβDa∧PβDa∧("⊂CB⊃λ@⊃⊂%¬I!@%ε)!P%αpX%α↓ H%α↓ H%α↓0@%α↓0@%α↓0@%α↓ H%α↓⊂H%αpP%ε	!8%¬i!H%α↓P%α↓ H%α↓0@%α↓0H%α↓@@%α↓@@%α↓@@%α↓@@%α↓@@%α↓0H%α↓ H%α↓X%εI!H%ε	!8%DhT !Gβr⊂⊃β↓%_λ∀"E
SbdpS!@0β∪↓ `↓S↓⊂p↓∩a∀X∧Ra∧P∧RA∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧Ra∧X∧Ra∀`∧S↓ h↓S!@8β∪C∧xTαeλ
Tb%0¬Q(D ∂Hd"⊂Di!8%ε	!P%εi @∧β	 @¬B) @εα) @εB	 @εB) @πα	 @πα	 @πα) @πB	 @πB	 @πB	 @πB	 @πB	 @πB	 @πB	 @πB	 @πB	 @πα) @πα	 @πα	 @εB) @εB	 @εα) @¬αI @∧β	!X%εI!@%¬i1_"QλQ8
HD λ∩BtPRBtPRBtP∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∩BdP∩BdP∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧↓↓4PRBtPRBtPRbd("⊃BaP⊃λ@⊃(%¬I!0%¬I!0%¬I @%α	 @%α	 @%α	 @%α	 @%¬)!(%¬)!(%¬) @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	00"Qλqp⊂HD h¬Tb%λ∀αtx∪C∀hε↓`t`¬CD`∧C`4X∧D $X∧Ra∧P∧RA∀P∧∩A∧P∧∩APε∩APε∩APε∩APε∩A⊂Hε∩A⊂H↓`tX∧β@tX∧C tX∧C t`∧Ct`¬B@thεαtp
∪c∃∀"u_	UaD("∩βRλ⊃λ@⊂0πAI @εB	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	!h%π)!h%π)!h%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%AAp0"Q	⊂@¬HD λβ∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧Xβ⊃(DP	¬∧"⊂¬AJ@@*α
@@*α
@@*α
@@*α
@@*α
@@*α
@@*α
@@*α
@@*α
@@*α
@@*α
@@*α
@@%A@%`p@%↓ @H%∧I!⊂%∧)!λ&βIpH"Q	1p⊃λD λαD↓∧PβCA∀PβC!∀PβC↓∀PβBa∀PβBA∀PβB!∀PβB↓∀PβAa∀PβAA∀PβA!∀PβA↓∀Pβ@a∀Pβ@A∀Pβ@!∀PλRB$P	RBDP
∩BTP¬@A∀P¬↓↓∧P∧A!∀P∧↓a∀PβB!∧PβB!∀PβBA∀PβBa∀PβC↓∧PβC↓∀PβC!∀PβCA∧PβCA∀XαD↓∧("∪αQH⊃λ@⊂0%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%¬)!(%¬)!(%¬)1 "Q	RH⊗λD λ∧E!∀P¬¬!$P¬Da4P¬Da4P¬Da4Pβ Qλε∩@`λαD Pλβ∩@`λβ∧Pλβ∩@`λββ``λβ∩@`⊂αC`P⊂β∩@`⊂ββ@P⊂β∩@`⊂ββ `⊂β∩@`_ββ`⊂β∩@`_βα``_β∩@`_βα``_β∩@` βα@`_β∩@` βα ` β∩@` βB` β∩@`(βα` β∩@`(β↓``(β∩@`(βA@`(β∩@`0β↓@`(β∩@`0βA`0β∩@`8β↓`0β∩@`8β↓`0β∩@`8β@`P8β∩@`@β@`8β∩@`@β@ `8β∩@`Hβ P@β∩@`Hβ P@β∩@`H¬B dPβαA Hβ∩@`P¬α dPβαaPβ∩`@`∧α`D("∪CRλ⊃λ@⊂8λ↓	 Hπ↓I PεAI PεAI Xε↓I 0A↓@0%↓@⊂(¬AI 0A!00%↓@ (¬↓I 0↓↓! 0%↓@ 0∧AI 0↓A!⊂0%↓@00∧↓I 0α↓!0%↓@@0βAI 0αA p0%↓@P0β↓I 0β↓ `0%↓@`0αAI 0βA P0%↓@p0α↓I 0∧↓ @0%↓A0↓AI 0∧A 00%↓A⊂0↓↓I 0¬↓  0%↓A (↓↓I 0¬A ⊂0%↓A0(AI 0ε↓⊂0%↓A@X%↓APP%↓APP%↓A`H%Aα8"Q	rλ∩λD `∧Tauλ	Sbtp¬↓!$h∧B!∀h∧αa∧`∧β!∧`∧β!∧X∧βa∧X∧βa∧X∧βa∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧X∧βa∧X∧βa∧X∧βa∧`∧β!∧`∧β!∧h∧αa∧h∧B!∀p¬↓!$xT"5⊂λU!4("∀β!p⊃λ@⊃λ%¬)!0%¬i!@%αP`%α↓H%α↓⊂H%α↓⊂H%α↓ @%α↓ @%α↓ @%α↓ @%α↓⊂H%α↓⊂H%α↓H%αPX%ε	!8%¬)!⊂%α	 @%α	 @%α	 @%α	 @%α	 @%α	 @%α	00"Q
∩λ∩	d `∧Tauλ	Sbtp¬↓!$h∧B!∀h∧αa∧`∧β!∧`∧β!∧X∧βa∧X∧βa∧X∧βa∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧X∧βa∧X∧↓@P ∧∩a0βa∧`∧↓@`λ∧∪↓0β!∧h∧↓ATh∧AADp¬↓↓4xT"E⊂
∃"⊗βX↓ελ∧_!⊗⊂∧⊃(E⊂
Gd"⊂D)!(%¬i!@%ε	 @βαi @∧αI @∧B) @¬α	 @¬α	 @¬α	 @¬α	 @∧B) @∧α) @βαi!@%¬i!(%∧i @↓B	 @αα	 @αα	 @αB	 @βα	 @βα	 @βB	 @βB	 @∧α	 @∧α	 @∧B	 @∧B	 @¬α	 @¬α	 @¬B	00εAhT )FCR⊂⊃α↓∀xλ∪B4h
SαdX∧A!∀XβB@dPβC DPβC@4PβC`$P∧∩A∀Pε∩atX	Sα4h
∪BDx	T"%(π⊗!5X∧R@!∧∩@!λβR@1βR@@xβR@``∧∩APβRA0(∧RC∧X∪"4xλ∀A$("∃∧α⊂⊃λ@α%λ	"%λ	"%λ
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
p0"Q
Q`⊂λD λββ`TP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧β tP∧Ba∧X∧α`tX¬↓a∀`Sβ∧h∪BEλ∀a$("∃D"⊂⊃λ@@	Ai @	Ai HλB	0@λAi0HπB	@@πAi@@πAi@HεB	P@εAiP@εAiPH¬B	`@¬Ai`H∧B	p@∧Aip@∧AipHβB
@βAj@βAj⊂@αAj⊂@αAj⊂@αAj 8αAJ @↓Aj @↓Aj08↓AJ08↓AJ@8AJ@8AJ@8AJP0A*P`+αj`P+αJ`P"Q
s_HD ββahβ∩@`x∧β dPβC!⊂`βR``h¬α`dXββ! Xβ∩``hα PXβ∩`pXα@ PPβS`Xα@ `Hβ∪`Xα@ `Hβ∪pHα@@`@βS `Hα@@`@β∪ `Hα@`P@β∪ `Hα@``8β∪@`8αA`0β∪@`8αA`0β∪@`8αA`0β∪@p(β↓ P(βS``(αA@` β∪``(αA@` β∪``(αA@` β∀`_β↓@`_β∀`_αBP_β∀`_αBP_β∀`_αB`⊂β∀ P_αα `⊂αT `λαB `λβ∀ `λαB@Pλβ∀@PλαB@PλαT@Pλαα`PλαTA Xα@ U⊂¬β↓%_∧β!∃_∧β!∃_∧β!∃_∧β!∀("⊗∧αλ⊃λ@ Hε↓i@P¬α	PH¬↓iPP∧α	`HβB	pHαB	pHαB
H↓B
⊂@↓α
 @Aj!)CJ@`*β
PP+α
`@*BJPP*β
0p)∧
!(B @(α0H(↓`P@'BPH'αpH'↓a⊂@&B↓⊂H&α↓0H%B↓@P%Aa`H%α↓`P%↓bH"Q⊃p⊂λD ∧β`tP∧C!∧X∧β tX∧Ba∧`∧α`t`∧B!∧h∧α th∧Aa∧p∧↓`tp∧A!∧x∧↓ u∧`u∧`uλβ@`eλ∧ u⊂β@ e⊂β@ e_ε∀aE ¬∃↓%(∧∃!¬(∧∃!¬(∧∃!¬(∧∃!¬(∧∃!¬(∧∃!¬(∧∃@d("⊗C!h⊃λ@⊃H%F)1H%F)1H%F⊂P,B+H+BJpH+α*`H*B*@P*α*0H)αJ H(B*P(α)pH'αI`H&B)PH&α)0P↓β)1H%εI!P%εI!P%εHT 0E"a0↓a∀pπ∪α∀`	∪p ∧∪ @8βS  HβS  HβTaDxλ∪"$`¬@tX∧↓ tP∧↓@tPβA`tPβA`tPβA`tP∧↓!∧P∧@a∀X
∪α4h¬ tpβAT("_BaH⊃λ@⊂(%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8↓↓i!⊂%∧i! %α @@%↓`p8%↓`p8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓`p8%α`8%α @@%¬	!_%↓`⊂P%A 08"Q1 
EB`8∧∪aThλ∪α∀`∧↓TX∧↓`4XβB $P∧α $PβR@tPβR@tPβR@tPβRA∧XβB@$X∧α4`∧↓ T`	∪"∀xπ∀!∀("→αa@⊃λB(,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Ak⊂8,Aj8↓↓ia⊂&DiA %B @@%A`p8%A`p8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%A`p8%A``@%B@H&¬	Q_'α@⊂8(↓@@("QQ(¬B`8∧∪aDhλ∪α∀`∧`tXβA@dXβA@tP∧↓`dPβBdP
RBTP
R@tPβR@tP∧∩`pP↓∩a@↓S↓(αS"∀pλ∪aeλ∧Q(F0	∧D"⊂∧B*⊂X(β	ph'A`0_'↓i`8'↓i`8'↓i`8'↓i0h%βi x%C)`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓i`8'↓ip("Qq@Gb`0∧@`dp
∪"T`β@`p⊂↓S`(β∩`p(βR`p(βR`p(βR`p(βR`p(βR`p(βS`(β∪p_βS!thπ∪0λ∧S4`α∪α∧`	S"4h
∪αdXR@pPβR@``β∩@``β∩@pPβRa0∧∪αDh	∀↓D("~αQ@⊃λ@⊂(%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8↓B	 8↓αI 8C	!(%α@0@%α`8%α`8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%↓`p8%A!⊂("Q
⊂@¬λD λβ∩A∧P∧∩A∧P∧∩A∧P∧∩`d8↓STXβR`tXβR`tXβR`tXβR`tXβR`tXβR`tXβR`tXβR`tXβR`tXβR`tXβST("~A`X∃H@p0(α
@(α
@(α
@(AHp_)↓*⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8(Aj⊂8%`0@%βI h%β)0X'↓HT 5Ec"⊂⊃ TPβR@tPβR@tPβR@tPβR@tPβR@tPβR@p8∧∩@p0∧R@p(∧R@p ∧R@p_∧R@p⊂∧RB∀Pλ∩AdPπ∩AtPπRB∧Pβ@!∀Pβ@A∀Pβ@a∧Pβ@a∀PβA↓∀PβA!∀PβAA∧PβAA∀PβAa∀XαB!∧("≠pP⊃λ@⊂(%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i0("Q
R(∀¬B`λαA p@βR@p⊂¬A↓4Pβ@!P⊂εRDTP¬↓↓0 ∧∩A⊂0∧A@tP∧↓a8βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtPβBp@βR@p@βBtXαB@PPαQ(Fp
Fαa0A @@%↓` P%↓`⊂`%¬) P↓B	 @β↓i @β↓i 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi0(∧A(T 7Fβ⊃0α↓∧xπ∪B∧h	∪↓ ∧∩a0∧∩`p@βRA@∧∩@pPβR@pPβR@pPβR@pPβR@pPβR@pPβR@pPβR@pPβR`p@βR`p@βS↓ ∧∪"$pλ∪aeλ¬⊃(Gε#q0A 08%∧I!_%¬	 H↓B) 8βAi 8βAi 8βB	 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8βB	 8βAi @β↓i H↓B)! %∧i 8BI 8↓↓i 8%↓i 8%↓i 8%↓i 8%↓i0("Q∞⊃0πb`0β@`Tp¬ th	SαD`∧a∀X∧↓!∧XβA`tP∧↓`tPβBtPβBtPβBtPβBtPβBtPβBtPβBtP∧↓`tXβA`tXβAA∧X∧@a∀`
∪"4p¬ uβ@@uHβV uHβV uHβV uHβV uPαQ(G⊂π∧"a0A @ %↓` (%↓`⊂0%βI p%βI X%α) @%α	 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i0("Q∞1⊂
EB`(∧S!d`πRb∧PβAdPβα4Pβα $P∧RATPπRat`πS!dpπ∩@ 0¬∩@ HβR@0Hβ∩@@@β∩@` βRB∀Pλ∩aTp∧⊃(G λDCA`α↓)P8&AiP8&AiP8%C) x%βi0h&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8&AiP8αIP@A)Pp'β)pX(αλT :E#↓0 PHαR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p8βR@p0∧∩@p0∧∩`p_¬∩bD`¬@ tp∧`T("≥C↓H¬@8¬↓i 8¬↓i @∧α	08∧↓i08∧↓i0@βα	@8β↓i@@αAiP8α↓iP8α↓iP@↓Ai`8↓AI`8↓↓i`8↓↓ip8AIp8AIp8AJ0A*`(BJ⊂P(BJ⊂P"Q∞r_∩EB`βαp@β∩@`@βBdPβAA⊂0βR``0∧A@dXβ↓A⊂0β∩``0α @0β∩`p α@ @(βS` α@ P β∪` α@ P β∪` α@P_βS `⊂α@@P_β∪ `⊂α@`@_β∪ `⊂α@`P⊂β∪@P⊂α@`P⊂αS@P⊂α↓Pλβ∪@PλαAPλβ∪A0(α dx∧A@@λαSa⊂0α Tx∧AA%∧↓A∃βB↓¬βB↓∧("≡β↓H¬@ @αAi@H↓B	P@↓AiPHB	a'CJ`(β
⊂P)α
 @(BJ⊂P(β	pp'∧	`8B	P@↓α	@@↓B)0@αB)08βB	 @βB) 8∧BλT <Fβ⊃xpH∧∩@pH∧∩A@βR`p8∧∩a0βSp0βS↓(βS p βS p βS@p_βS@p_β∪``⊂βS``⊂βS`pλβ∀`λβ∀`λαT PλαT!5⊂∧TA∃_∧∀`u_βT`u_β∀@tP↓A↓∧Pπ∩ATPεRA4P∧Q(GP
¬"a0DI1⊂%DI1⊂*α*@@)B
 H(B*⊂@(α	pH'α)`@&B	@H%B)0@%α	! %¬	! %¬λT ¬βα⊂⊃"4P
∩BDP
∩BDP
∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩`d("$rP⊃λB8,B+⊂H,αkX+C*ph+βj`x*D*P8↓α
@@↓α*@8αα
0@αα*08βα
 @βα* 8∧α
⊂@∧α*⊂8¬α
@¬α*8εα	p@εα)p8πα	`@πα)`8λα	P@λα)P8	α	@@	α)B_%I)2(%	i"8%	i2("Q" ∪HD h¬∀b%λ∀β∧x¬↓A$p∧BA∀h∧βA∧`∧CA∀`∧∧↓∧X∧∧A∧X∧∧A∧X∧∧A∧P∧DA∀P∧¬↓∧P∧a`_∧∩A_πa∧P∧a`_∧∩A_πa∧P∧a`_∧∩A_πa∧P∧a`_∧∩A↓ ∧∩A↓ ∧∩a↓⊂∧∩a↓⊂∧∩a↓⊂∧∪↓↓∧∪↓↓∧∪!p∧∪A⊂P∧Sa 0¬∀β¬λ∀b%0ε⊃(@_∞π∧"⊂∧BJ0P)BJ0P)β
 `)↓ ⊂0)↓ ⊂0(A@⊂8(A@⊂8(A@⊂8(↓`⊂@(↓`⊂@(↓@08(↓@08'A`0@'A`0@'A`0@'↓`P@'↓`P@'↓`P@'↓`P@&A`p@&A`p@&A`p@&αpH&↓a⊂@&↓a⊂@%B↓⊂H%Aa0@%Aa0@%Aa0@%α↓0H%↓aP@%↓aP@"QAP∞HD λ∩C$P
∩C$P
∩C$P
∩c∧8α∪B$h
∪"Dh
∪"Dh
∪"Dp	⊃`TX∩C$P
∩C$P
∩C$P
∩c∧("↓#Rλ⊃λ@⊃X%π)!h%π)!h%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%α↓P@%AAp0"Qbλ∩λD λ⊂∩D∀P⊂RD∀P⊂Rd∧`∧S!∀h∧SA∀x∧T↓∃λ∧TA∃_∧U↓∃ ¬∃!∃0∧∃!¬ ∧∀a¬⊂∧∀@uλ∧∀↓∧x∧∪A∧h∧∪#d`∂Rd∧P⊂RD∀X⊂⊃(@8∩	d"⊂α↓a`8&B!@H&αa X%C!h%β``x%∧A%α⊂@↓α⊂@%↓`@0↓↓@@8%↓`P`αAi0(ββ`(+BJpP+BK@,α@,α@,α@,α@,α@,α@,α@,α@,α@,α@,AHT ∧λDR⊂⊃β@e8∧∃a¬8∧∃a¬(ε∀"Dx∪C$h∞∪↓⊂⊂∧A∀X∧@a_∧Ra ∧↓↓∧X∧↓↓ ∧∩A(∧↓!∧P∧↓!(∧∩A(∧↓!∧P∧↓!(∧∩A(∧↓!∧P∧↓!(∧∩A(∧↓!∧X∧↓↓ ∧∩a ∧↓↓∧X∧@a_∧S↓⊂⊂∧A∀h∞∪C$x∀"E(ε∃a¬8∧∃a¬8∧⊗d("α$B8⊃λAp0,α@,α@%A@p@βAI @βα`@%α P@αB)0@αBP@%B @@αα)@@αα@@&α@@αα	@@αα@@&α@@αα	@@αα@@&α@@αα	@@αα@@&α 0@↓B)P@↓B0@&B0@↓B	PH↓α H'α @↓α	`HB⊂H'FJ↓@(EJ! )DJPp+BK@,α@,α⊂0"Q↓"λ∩λD PεT"4xS#4`¬Aa4X¬αa$X∧βa∧P∧Ca∀P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧P∧∧!∧X∧βa∧X∧βa∧X∧βa∧X∧βa∧`∧β!∧`∧β!∧`∧β!∧hβC th∧αa∧h∧αa∧pβB`tp∧α!∧xβB txβB tPεAaTPεAaTPπ↓!dPπ↓!dPπ↓!dPεAaT("αa@⊃λ@p@'C	`p&D	@@↓α	@8α↓i08β↓i08β↓i08β↓i00∧↓I 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i00∧↓I08β↓i08β↓i08β↓i@8α↓i@@↓α	Q'βIp`(BλT _Dbb⊂⊃α U⊂βT!¬∧Sa$p¬S↓TPπRAtPπR@@_∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∀!¬λ∧∩b$X	∩b$X	⊃(C⊂ε∧"⊂βB	p`&D	A⊂%E	1 %α@P%↓@pH%A↓⊂@%A↓⊂@&A @,α@+B
p@+B
`@*B
P@*α
0@)Aj 8(Aj8'AI`0&AI@(%¬I!0%¬I!0%¬I!0"Qε10λD 0∧S!d`λRb$X	S` ∧S@8∧∪  @∧∃a¬8∧∃a¬0∧∃A¬ ∧T↓E¬T↓EεUA¬8∧⊗↓¬@∧⊗↓¬@∧⊗↓¬@∧∩@ `∧∩@@H∧R@`0∧RBTP
∩b$`λ∪!e∧⊃(C ε$"⊂ε↓jPH*B*@P*αJ0X)Bj `)↓⊂8(A ⊂8(A ⊂8(↓@⊂8(↓  8'A@ 8'A@ 8'↓@08'↓@08&A`08&A@@8&↓`@8&↓@P8%A`P8%A`P8%ε	!@%ε	!@%ε
p8+Ajp8+Ajp8+Ak("QεQ0λD ⊂	∪α$`	∪α$`	∪α$`βSt`βSt`βSt`βS↓T`λ∪α∀`	∪↓⊂∧Sp ∧∪`0∧∪P8∧⊗↓¬@∧⊗↓¬@∧⊗↓¬@∧∃a∀`↓Aa∀X
∩b4P	RB$Xλ∪A$("
C↓H⊃λA H(CJx'∧)aλ&B `_&α	@8%B	08%Ai @↓Ai 8↓αi 8C) 8CI X↓B) PαB	 HβAi HβB	 @∧Ai @∧Ai @∧Ai @∧Ai @∧Ai08∧Ai08∧Ai0@βB	0@βAi@@αB	A(&Diaλ'Cjh)α(T ≠ECα⊂⊃αdP∩BdP∩BdP⊗ e@β∃`u0βU u(βUu_∧∀`u⊂∧∀@uλ∧∀!¬∧∀↓¬∧∪a∧x∧∪a∧x∧∪A∀p∧∪A∧p∧∪A∧p∧∪A∧p∧∪A∧("∞αa@⊃λ@p@'C	Q&∧IA⊂%B@@%A``8%A``8%A``8%A``8%A``8%A``8&↓`@8&↓`@8&D	`p'βIQ&↓`@8%A``8%A``8%↓a8%↓a8%↓a8%↓a8%↓a8%↓a8%α`@%B@@%E	A⊂&∧IQ'βJ⊂@"Qπ⊃@HD 8∧SaTpπS"∀`	Ra⊂_∧R`p8βR`p8∧∩@pHβR@pHβR@pHβR@pPβR@pPβR@pPβR@pPβR@pPβR@pH∧∩A@∧∩`p@∧∩a0∧S↓_¬Sαdh
SA0λβTp_βV!¬H∧⊗↓∧p↓AA∀h	∪"$`	∪α∀pεT↓∀("	αA8∀	!⊂_)↓* ((B	pX&CIA&∧)1⊂%Di 8C	 8C	 8C	 8A ⊂0%β   %β)0`%CI@p&βiPx'CJ⊂`)β
 `%A0`%↓@ `%↓`⊂`%↓`⊂`%↓`⊂`%¬	1⊂%DIA&∧	Pp'β
@)↓* ()@hT ∪	∧b⊂⊃βu ¬TaU⊂πT@pλβT p_βT p_βT p_βT p_βT p_βT p⊂∧∀ pλ∧∀"¬λπA`5λπαU⊂¬B eεα@dxεα@dhπα t`λαdXλA`tX∧!⊂(βRA⊂¬`tPβA↓ λ∧∩@p(λR@p(λ∩@p0π∩A0ε∩A⊂(εA@4X⊃Rd4`⊃∪$∀pπ↓↓eλ∧αA∀("∂B10⊃ε!((Aj⊂8(Aj⊂8(Aj (#@j0 )↓J 0)↓J 0)↓J⊂8(AJ8'Ai`@&B	@@%B	 @%↓i 8%↓a ⊂%↓a %αP0%DIAλ&CIpP"Qπq_λD  ¬∪↓dPλRB$Pβ↓!∧PααtP↓α@u0βU@u(∧∃↓¬_∧∀A¬⊂βT uλβ∀uβ∀eβ∀eβ∀eλα⊃`5αS`txβS`txβS`uαQ(AβBBa0A) 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%A(T λCA1xαUλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβT uλβR` _∧∩AdPεRATX¬S@d("ε"Q@⊃λ@PH&C)@x%D) @↓B	 8αAi 8αAi 8αAi 8αAi 8αAi 8αAi 8α↓i 8↓α) 8↓α	 8↓α	 8↓α) 8αα	 8αAi 8β↓i 8β↓i 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8βAi 8β↓i 8αB	 8↓αI 8BI 8B)0(↓↓hT 
	$a0α↓⊂(∧Sa`λεS#th⊂∪ `(¬@a∧hαα↓⊂0β∪  P∧↓`th↓αA@β⊗ pHβ∀cDx⊂∪$$`¬`tX∧↓@tP∧↓`tPβB↓∧PβB pX↓∩A8∧B 4P∧A↓@(β∩d4`λ"∀hεA↓tp∧BA∀("εeαH¬AH∧α)px↓C)aλCiR_&αPh↓B	0@βB``0%Aa⊂HβAi08∧B!0%↓a08∧AI 8¬EI 8¬EI 8¬EI 8¬Ai 8¬Ai 8¬Ai @∧B)08∧B!0⊂%BpX∧@i@@αC P0&I	aλD)px↓Cj H∧B(T ∞εβ∩⊂∞¬%hα↔U`α⊗`UXα∀ATxπSB∧h	∪↓ ∧∩`p(¬∩``0¬∩@p(ε∩@`(α@@dPβ↓ @_β∩@` α@`dPβ↓@ β∩@`_αAdPβ`@(β∩@`⊂αA dPε↓ tX¬↓@dX¬↓ t`∧↓↓∧h	∪B∧pπS!dhα∪T`α∩`TXα∪$("λ p`⊃λ@⊂(%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%AI00%AI00%AI00%AI00%AI00&↓λp_%A) 8%↓i 8%↓i 8%A(T ⊃Ie"`⊃∧@0@↓V`P0αV`P0αV@`0αV@`(β⊗@P0β⊗@P0αV `(β⊗ `(β⊗ P0αV`0αV`(β⊗P0β⊗P0αU``0αRdTP∪RDtP∪RdU0αA@U(β↓@U(β↓ e(αA@e(αA@TX∩RDtP∪RDtX∩T`P0β∀`P0αT@`0αT@`(β∀@P0β∀@P0αT `(β∀ `(β∀ P0αT`0αT`(β∀P0β∀P0αTP0αT 0@↓Q(B(∃%α(αAb@_&Bb⊂(&β!p0&β!p0%A`⊂8εAI00↓↓a@8%↓`08¬AI 8↓Aa 0%↓`08∧Ai 8↓Aa8%↓`08∧↓I 8↓A`p0%↓`08β↓i 8↓A``0%↓`08αAI00↓↓`P8%A`⊂8αAI@hαAI@hα↓iPXα↓ip8β↓@`8-A@PX-↓`@h-↓@Ph,A@P8Ak8αA@ 8,↓@P8↓Ajp0β↓`08+↓``8↓Aj`0βA`08*AA8↓Aj@8∧↓`08)Aa⊂8↓Aj00¬↓`08)↓A08↓Aj⊂8ε↓@ 8(AAP8Aj0πC*0πC*(λBj⊂_
↓hT ∪Aa0X⊃ TPβR@tPβR@tPβR`d`α∩`TXα∩@TPα⊃(B@ε∧&"(∧↓
⊂((↓)p('↓I`(&AIP0&↓I@0&↓I@0%Ai08%Ai00%AI 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%AI00%Ai08%Ai@0&↓I@0&↓IP0&AI`('↓Ip((↓*⊂()↓λT ∀C↓s⊂∩@DPαR`T`αSdhαS dhβ∪@dpβ∪@dpβ∪@tpβS@txβ∪`dxβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`dxβ∪@tpβS@tpβ∪@dpβ∪@dhβ∪ dhαSd`αR`TPαR@D("
B!0
I p (↓J0(↓I0 A@⊂ %∧I!⊂%∧I!⊂%∧I1'αI1%∧I!⊂%∧I!⊂%A⊂0A
0(↓J0(AλT ∃I∧r ∂∧ 5PαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαRd$P∩∩DDP∩∩d%PαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαV@UPαV`4("pX¬A@⊂(%↓i 8%↓i 8%↓i00&↓	0(%A	 (%↓λT ↔↓a00β TPβR@tPβR@tPβR`T("bA8→	"_,A+⊂(,↓K0,↓*p0+AJp(+↓J`0+↓*P0*AJP(*↓J@0*↓*00)AJ0()↓J 0)↓* ((AJ⊂0(A*0(↓J('AIp0'A)`0'↓I`(&AIP0&A)@0&↓I@(%AI00%A) 0%↓I (%↓)0_"Qπ 8¬EB`λαR@tPβR@tPβR@tXαQa∧XαR@tPβR@tPβR@tXαQ(CXβBc10A) 8%↓i 8%↓i 8%A(p@%A) 8%↓i 8%↓i 8%AI@ %A)0 %↓)  "Qπ@8ελC⊂λαR@tPβR@tPβR@tXαQ`4`α∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩@tPβR@tPβR@tPβR@tPβR@tPβR@tPβR`T("∂$B8λE ∩⊂%		" %		2⊂#Ai2⊂%		" %		2⊂"Qλ↓h⊂λD `¬∀auλ	∀αDx∧A!∧p∧α↓∧h∧↓↓T`∧B∀`β@B$X∧"4Xβ@@p_∧R`pλβA!∧P∧ p(∧∩@pλβA`tPβ@ p8βR@pλβA`tPβ@ p8βR@pλβA`tPβ@ p8βR@pλβA`tPβ@ p8βR@pλβA`tP∧ p(βR`pλβA tXβ@@p_βRaλλSp⊂πS↓⊂εS! β@ Tp∧α!∧x∧A!%∀"E_λ∃A4("⊗aA→	 ⊂P%β	 `%αi 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%↓i 8%αi `%β	0P"QP`εLDPλ¬∩ADPε∩a4xβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβRa4Pε∩ADX¬⊃(FβBa2⊂↓A	@(&↓	0(%A	 0%↓i 8%↓i 8%↓i0("Qα `λα∧ βRA∧XβSthβS@uαT U⊂α⊃(A_ε¬Aα⊂αAi`@'↓iP8&↓i08%A) (%↓λT 
∧B`@∂@P@αR@`0β∩`` β∪`⊂β∪!Dp¬∪A$x∧∀d("¬"!0¬λ@⊂⊂εI  ¬↓	  ¬↓	 (∧↓)0 ∧↓	00α↓I@p&C	`P'B
0"Qαa Aβpλ	∩BDP
∩BDX	⊃(A8ε¬a∩⊂↓AI0P%↓@ %``_%``_%``_%``_%↓@ %BIP0"P`ε∨␈x␈␈`β@¬␈␈x␈}∨␈x␈␈@P '↓)P(&↓I00%↓i 0"Q∧xπ↓B@Pα∀!∧hε∩aTP¬RA∧X↓Q(Ep	¬Aα⊂β↓Ip@'αI`P&C	@0↓↓I00α↓I 0β↓I (∧↓(T /Aa00⊃ TPβR@tPβR@tPβR`T("∨"⊃0∧λ@ 8Ai@8Ai08Ai08Ai00↓↓I0(↓A) (↓A) (↓A)  α↓λT ?∧B`0⊃``(α∪↓ α∩a ⊂αRB$Pα@A$Pα↓↓∧Pα↓ d("∨b↓(βλ@⊂(α↓) 8↓↓i 8↓↓i 8↓↓i 8↓↓i 8↓↓i0(α↓(T ∞Je2⊂⊃βCU@∞Uce8∂∃ce0∂UAu(λ∃ pλ∧∃↓λ∧∃↓λ∧∃p⊂∧∀a⊂∧∀`p_∧∀A_T@p T! T p(T↓(T↓(∧∀p0∧∪a0∧∪bdpSBth∪#∧hβB!∧`∧α! ε∪pP∩aP∩`pX∩AX∩@p`∩@phQ(Ap_d"⊂εHj28(J*αP'B@aX'α!⊃P&B↓@@&α!@@&α↓P@%B↓`@%B↓`@%B↓`@%α!`@%α↓p@%α↓q@%α↓q@%α↓q@%α↓q@%α↓q@%α↓p@%α↓p@%α↓p@%α!`@%B↓`@%B↓`@%B↓`@&α↓P@&α!@@&B↓@@αC	`H∧FIpPβεjαP(J*28+HhT ∂I∧r@∩F@6_αX`U8¬ e_
T"e∪a 0¬∪A⊂H¬∪!Pε∪↓⊂Hπ∪↓Pπ∩aPβA∧X∧α@`⊂∧∩aHβa∧P∧B `_∧RAHβ↓!∧P∧α `(∧∩A@β↓A∧P∧↓`p0∧∩A8β↓a∧P∧↓@`@∧∩A0βα↓∧P∧↓ `H∧∩A(βα!∧P∧↓`P∧∩a_βα!∧X∧@`P∧∩aλβBA∧`παA∧`εBa∧hεαA∧p¬α!∀x¬↓A%∀"e
Sb4xβ∪`U↓Q(@X⊂λ$"⊂∧α@@P(β `'C ⊂h'π	`8αα@@_&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8%C 0X%β` `%β` `%C 0X&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8'↓!⊂("Q↓A@HD 8∧`Tx¬@tp¬@@tp¬@@thβ@@0⊂βS p_↓@thβBThβS thβS thβRaP αRAp⊂βRAp⊂βRaP_βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS p8βS@PHαQ(@hε$"⊂βB0('B@ 8'α` 8'α` 8&A` _↓↓iP8↓@@ 8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8%C 08%β` 8%β` 8%C 08&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8&A`p8'↓!⊂("Q↓b@∀HD @∧A! αT↓0_¬`txεA0_βSAP⊂¬@`tpβ@@@λβ@@0_βS p(↓ p_↓`thβBpHαS p@βS p@βS p@βS p@βS p@βRaP ¬A TPπ@a@_βRAp_ε`tXεA↓0 βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS p@βBthβBp@βS@PPαB@T("βeαH⊃λAHαB@((α`0P↓Aip`↓α`08'β  X↓Ai`8↓↓⊂8↓`08&A`P⊂A`0⊂↓AiP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓i0hαα`@8%β`0`↓Ai x↓C08%C @Xα↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓iP8∧↓a8&Aa8∧↓i`(¬↓! ("QAλBd _α↓@D`αA T`α↓@DXαA TXα↓@DPβ↓dPβ@`tPβ@`tPβ@`tPβ@`tPβ@`tXαA T("λB⊃⊂¬H@⊂(αA) 8↓Ai 8↓Ai 8↓Ai 8↓Ai 8↓Ai00α↓I@ β↓	0(αA)0 β↓	 (αA)  β↓λT ⊗C!`_ε@!4PεRATX¬Q(GX
ε@0xF	!P%εI1@"Q∂C0≠apλ~∩FdP≠∩fD(|βL∀&|ChV@OX≤OX≤?␈␈x}@≠?␈␈xy@∩⎇H∩(αw;`α_{⊂DP¬nw@⊗∂0!H`X∨%I}d ∀↓K0¬@λ?=HRαHD ∨h{⊃C`∧qc@IO0#I X]o↓&>d@∀↓K0¬@_∧=I⊃↓)∨(9λ{∩C ∧∪tP{o0%I@`≤9α>d`∞@↓∀Hz@ \=ISλβtOPP({∪Eε-A0↓@O0'J`[α`β2>e⊃@↓3pJ8&=J∩@β⊗`X{λ{∀D0¬OR@αλo0)H P`[∧1}e ∩@↓;X↑H⊗=JR0βπ∞ ↓↔H{∃DP¬nw@α@∂0+M↓OR@¬">e@∩@↓;X↑XD=K∩(αw;`↓@λ{⊗D⊂¬0-@β∞∂00F@@3→@ε/}f⊂∞↓∂P(hλ=L1@↓z'h↓Xλ{→β@∧>Jβ8O02F8i∨ π
>f0λ@V[p==LqXα→Lh↓lH{~β@∧>JβfO04C  0 πk>fPπI_t@xz=M1Pα∂R@α∧x{≠↓Pα¬X⊂∧↔O06J`hnw@λB>fp∞↓∂P(↓λK=MqXα→Lhα∨8{≤β@∧>J∧I/08G@⎇∀	->g⊂	@← O@↓_⊃=N1@↓z'hα5h{≥α@β⊗``∧t/0:G@⎇∀	y}g0
↓πh∀↓ $=Nr@β≤8pαJλ{≡β ∧∨%¬(∂0<F@@>J
b}gP@v`@↓({=@↓hα)∨(αbX{%`π*U0¬O∂0↓
`hX⊗`:>`_∂↓≤8∞↓8==@BλαX⊗`βλ{↓%ε-A0επO0β
`[α`1>`8∃@↓[-@↓H	=Aα@β⊗`Xβ↔x{α%0εl0εA∂0¬
`[α`
'>c
@↓`f@↓X∀=F⊃Xα→Lhβ:X{C0∧3→Pε␈/0→F`@f3 ∞∀>c 
@↓`f@↓`U=FQXα→LhβQ({
C0∧3→Pπ-O0≠F`@f3 ∞w}c@
@↓`f@↓p⊗=G⊃Xα→Lhβjλ{	β0∧3→PπbO0∪
 h$⎇ ∂`}cp
↓∧xR@αε=GqPα	z(∧¬H{∧↓Pα¬X⊂λ∀o0λC@ Iz ⊂6}aH
↓ε03αλ∩=C"@β⊗`X∧~x{εe0εl0λBO0∞ε`@f3 ⊃ }bλ	]hoα⊂}=D2pβU*X∧4_{	&⊂πi∨ λ⎇/0∪C` qc@∩2}b@
@m@↔α u=E⊃(↓[αp∧U8{
C0∧3→P	8O0∃J`hX⊗`∩␈}b`π@N_Gα0(=E`x↓≤8p∧fx{c0∧3→P	PO0≥β` qc@∪<>cXπ@N_Gα8=GA⊂↓;]p∧t({∂%0εl0	qO0 	 X]o∪j>eX	]hoα@&=KQ⊂↓;]p¬H{_↓pα8q`
$o0	ε`@f3 ∀Q>a_
@↓`f@αH/=BAXα→Lh¬↔8{¬#0∧3→P
3∂0ε`@f3 ∀p>a8∩@↓;X↑αHi=Cα@β⊗`X¬∨H{λ↓Pα¬X⊂
D∨0/ε`@f3 ∃
↑exπ@N_GαP+⎇OQXα→Lh¬&`{∨C0∧3→P
R␈0?F`@f3 ∃.≡ah↔@↓r8iαPm⎇Cc0∧&3_¬50{πe0εl0
{?0¬HP"⊃⊗#↑``∞@↓⊗[αh⊂⎇AQhα,0¬Zp{βE@π⊃λ@H←0πKp"⊃↔G≡e`
@↓`f@αx}⎇D!Xα→Lhεβ {" αw;`
?0=F`@f3 _≡↑g`≠@α→HMβD} _&⊂=xow{⎇x